- NATO2
- Broy, Logic of Programming and Calculi of Discrete Design, NATO ASI Series, Springer-Verlag, 1987 (informationswissenschaftl. Veröffentlichungen)
Acronyms von A bis Z. 2013.
Acronyms von A bis Z. 2013.
NATO2 — Broy, Logic of Programming and Calculi of Discrete Design, NATO ASI Series, Springer Verlag, 1987 (informationswissenschaftl. Veoeffentlichungen) … Acronyms